Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
481	Handbook of Applications of Chaos Theory by Christos H Skiadas and Charilaos Skiadas, Editors Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2013-02-07 17:03:05 Algorithm Mathematical logic Theoretical computer science Computer program Programming language Computer Human–computer interaction Robotics System Computing Software engineering Computer programming
482	WRF Registry and Examples Part 2 John Michalakes, NCEP Michael Duda, NCAR Dave Gill, NCAR Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2014-02-03 19:37:10 Software engineering C Programming language theory Procedural programming languages Computing Cross-platform software
483	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
484	ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:37 Functional programming Functional languages Year of birth missing Type theory ICFP Programming Contest Generic programming Bluespec Inc. Haskell International Conference on Functional Programming Software engineering Computing Programming language theory
485	Microsoft PowerPoint - UPC-Perf-Model.ppt Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:30 Data management Barcodes Identifiers Supply chain management Universal Product Code Vectorization Type system Parallel computing Partition Compiler optimizations Programming language theory Computing
486	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
487	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales Departamento de Computación Master Thesis: “Static Code Validation for Traits” Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2012-12-10 10:11:23 Type theory Error detection and correction Trait Aliasing Self Code Actor model Declaration Ping Computing Software engineering Programming language theory
488	c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:38:21 Logic programming Non-classical logic Substructural logic Programming language Mathematical logic Logic Prolog Actor model Linear logic Software engineering Computing Programming language theory
489	Developer’s Guide to the PARI library (versionThe PARI Group Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2014-03-22 13:13:41 C++ C programming language Struct C++ classes ALGOL 68 Closure Software engineering Computing Programming language theory
490	The Swine Before Perl Shriram Krishnamurthi Brown University and PLT Why We’re Here Any sufficiently complicated C or Fortran Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 2001-11-20 10:43:08 Functional languages Racket Shriram Krishnamurthi Scheme Fortran Lisp Teach Yourself Scheme in Fixnum Days Computer programming Computing Software engineering Programming language theory

UPDATE